منابع مشابه
Ildikó Sain TOTAL CORRECTNESS IN NONSTANDARD DYNAMIC
In this paper we investigate total correctness (termination and correctness simultaneously) in Nonstandard Dynamic Logic (NDL). Here we show that despite of the celebrated Kfoury-Park [5] result, termination is a first order notion if approached properly (e.g. via NDL). In Definition 1 below we recall the famous Manna-Cooper Q-method for proving total correctness. Then we do the same things to ...
متن کاملIldikó Sain COMPUTER SCIENCE TEMPORAL LOGICS
We use first-order temporal logic (FTL) with modalities ©, [F ], and U denoting “nexttime”, “always-in-the-future”, and “until” respectively. Given a first-order similarity type or language L, the usual predicate etc. symbols of L are considered to be rigid, i.e. their meanings do not change in time. Similarly, individual variables xi (i ∈ ω) are rigid. To this we add an infinity yi (i ∈ ω) of ...
متن کاملCarcinome hépatocellulaire non fibrolamellaire sur foie sain
Le carcinome hépatocellulaire (CHC) survient le plus souvent sur foie de cirrhose. Sa survenue sur un foie sain est exceptionnelle et pose un véritable défit diagnostique pour le clinicien. Nous rapportons l'observation d'un patient de 53 ans, sans antécédents pathologiques notables qui fût admis pour exploration d'une douleur de l'hypochondre droit évoluant depuis quelques mois avec une exacer...
متن کاملAPPROXIMATION OF 3D-PARAMETRIC FUNCTIONS BY BICUBIC B-SPLINE FUNCTIONS
In this paper we propose a method to approximate a parametric 3 D-function by bicubic B-spline functions
متن کاملthe prognosticrole of tumor marker ca-125 in b-cell
background: b-cell non-hodgkin’s lymphoma (nhl) is a common malignancy of lymphoid tissues. different types of nhl show various behaviors, prognoses, and responses to treatment. evaluation of disease activity in nhl can be helpful in managing and even increasing the patient’s survey. methods and results: in total, 121 patients (76 males and 45 females), and their age range were 18-53 years, wer...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Approximation Theory
سال: 1976
ISSN: 0021-9045
DOI: 10.1016/0021-9045(76)90108-8